/*
 * tegra_lic.h
 *
 *  Created on: Feb 19, 2020
 *      Author: Administrator
 */

#ifndef SYLIXOS_DRIVER_IRQ_TEGRA_LIC_H_
#define SYLIXOS_DRIVER_IRQ_TEGRA_LIC_H_

VOID tegraIctlrInit (VOID);

#endif /* SYLIXOS_DRIVER_IRQ_TEGRA_LIC_H_ */
